projects / gtk4.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3b9ada) | patch
widget: Consider css margins when setting clip
authorTimm Bäder <mail@baedert.org>
Mon, 15 May 2017 13:01:29 +0000 (15:01 +0200)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 20 Jul 2017 01:27:13 +0000 (21:27 -0400)
commitdd713e0ae2e2728df96548ddd20de65261f9c085
tree02f6d712acf5178c792d7f47ac52972702f764b3tree | snapshot
parenta3b9adaa68ae9e0412019ac3bf616e2759b50095commit | diff
widget: Consider css margins when setting clip

This is optional for positive margins as they just increase the widget
allocation. However, with negative css margins, the allocation is
smaller than the clip.

This fixes scale sliders leaving a small trail behind.
gtk/gtkwidget.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.